<?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta name="generator" content="Docutils 0.11: http://docutils.sourceforge.net/" />
<title>Execution Profiler</title>
<link rel="stylesheet" href="../s2e.css" type="text/css" />
</head>
<body>
<div class="document" id="execution-profiler">
<h1 class="title">Execution Profiler</h1>

<p>The execution profiler tool outputs various metrics about the execution,
like the number of executed instructions, page faults, TLB misses, cache profile, etc.</p>
<div class="section" id="examples">
<h1>Examples</h1>
<p><strong>TO BE DONE</strong></p>
</div>
<div class="section" id="required-plugins">
<h1>Required Plugins</h1>
<ul class="simple">
<li>ExecutionTracer</li>
<li>CacheSim</li>
<li>InstructionCounter</li>
<li>...</li>
</ul>
</div>
<div class="section" id="optional-plugins">
<h1>Optional Plugins</h1>
<ul class="simple">
<li>ModuleTracer (for debug information)</li>
</ul>
</div>
</div>
<div class="footer">
<hr class="footer" />
<a class="reference external" href="ExecutionProfiler.rst">View document source</a>.

</div>
</body>
</html>
